định lý bốn màu Tiếng Anh là gì

• Từ điển kỹ thuật
  Lĩnh vực: toán & tin

  • four-color theorem

  • four-colour theorem

• định     verb to fix; to appoint; to set; to assign vào giờ đã định a the...
• lý     noun reason; ground hợp lý reasonable Từ điển kỹ thuật mile...
• bốn     number Four, fourth một năm có bốn mùa there are four seasons in a...
• màu     noun colour anh thích màu nào hơn which colour do you like best?...
• định lý     noun theorem Từ điển kinh doanh theorem định lý Coarse Coarse...
• bốn màu     Từ điển kỹ thuật four-color định lý bốn màu four-color theorem...

• The Four Color Theorem was the first major theorem to be proved using a computer.
  Định lý bốn màu là định lý lớn đầu tiên được chứng minh bằng máy vi tính.
• The four color theorem was the first major theorem to be proved using a computer.
  Định lý bốn màu là định lý lớn đầu tiên được chứng minh bằng máy vi tính.
• "Formal proof–the four-color theorem."
  Định lý bốn màu (four-color theorem)
• For example, the first proof of the four color theorem was a proof by exhaustion with 1,936 cases.
  Ví dụ như, cách chứng minh định lý bốn màu đầu tiên là một chứng minh vét cạn với 1.936 trường hợp.
• For example, the first proof of the four colour theorem was a proof by exhaustion with 1,936 cases.
  Ví dụ như, cách chứng minh định lý bốn màu đầu tiên là một chứng minh vét cạn với 1.936 trường hợp.
• The first proof of the four colour theorem was a proof by exhaustion with 1,936 cases.
  Ví dụ như, cách chứng minh định lý bốn màu đầu tiên là một chứng minh vét cạn với 1.936 trường hợp.
• The shortest known proof of the four color theorem as of 2011 still has over 600 cases.
  Cách chứng minh đã biết tới ngắn nhất của định lý bốn màu ngày nay vẫn có tới hơn 600 trường hợp.
• The shortest known proof of the four colour theorem today still has over 600 cases.
  Cách chứng minh đã biết tới ngắn nhất của định lý bốn màu ngày nay vẫn có tới hơn 600 trường hợp.
• The shortest known proof of the four color theorem Template:As of still has over 600 cases.
  Cách chứng minh đã biết tới ngắn nhất của định lý bốn màu ngày nay vẫn có tới hơn 600 trường hợp.
• The shortest known proof of the four color theorem today still has over 600 cases.
  Cách chứng minh đã biết tới ngắn nhất của định lý bốn màu ngày nay vẫn có tới hơn 600 trường hợp.